搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gordon、 Andrew D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Spectral Theory of Non-Commutative Harmonic Oscillators: An Introduction [electronic resource] 0 索取号：作者：Parmeggiani、 Alberto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Quantum Information, Computation and Cryptography [electronic resource] : An Introductory Survey of Theory, Technology and Experiments 0 索取号：作者：Benatti、 Fabio.、Fannes、 Mark.、Floreanini、 Roberto.、Petritis、 Dimitri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Computer Vision, Imaging and Computer Graphics. Theory and Applications [electronic resource] : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers 0 索取号：作者：Ranchordas、 AlpeshKumar.、Pereira、 Jo茫o Madeiras.、Ara煤jo、 H茅lder J.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Musical Performance [electronic resource] : A Comprehensive Approach: Theory, Analytical Tools, and Case Studies 0 索取号：作者：Mazzola、 Guerino.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings 0 索取号：作者：Link、 Sebastian.、Prade、 Henri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Graph Drawing [electronic resource] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers 0 索取号：作者：Eppstein、 David.、Gansner、 Emden R.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory of Cryptography [electronic resource] : 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings 0 索取号：作者：Micciancio、 Daniele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings 0 索取号：作者：Massacci、 Fabio.、Wallach、 Dan.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biomedical Simulation [electronic resource] : 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings 0 索取号：作者：Bello、 Fernando.、Cotin、 St茅phane.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings 0 索取号：作者：Carro、 Manuel.、Pe帽a、 Ricardo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Elliptic Differential Equations [electronic resource] : Theory and Numerical Treatment 0 索取号：作者：Hackbusch、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Theory ofElasticity [electronic resource] 0 索取号：作者：Maceri、 Aldo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Wastewater Hydraulics [electronic resource] : Theory and Practice 0 索取号：作者：Hager、 Willi H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Noninvasive Mechanical Ventilation [electronic resource] : Theory, Equipment, and Clinical Applications 0 索取号：作者：Esquinas、 Antonio Mat铆as.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Blind Signal Processing [electronic resource] : Theory and Practice 0 索取号：作者：Shi、 Xizhi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

	Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gordon、 Andrew D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Spectral Theory of Non-Commutative Harmonic Oscillators: An Introduction [electronic resource] 0 索取号：作者：Parmeggiani、 Alberto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Quantum Information, Computation and Cryptography [electronic resource] : An Introductory Survey of Theory, Technology and Experiments 0 索取号：作者：Benatti、 Fabio.、Fannes、 Mark.、Floreanini、 Roberto.、Petritis、 Dimitri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Computer Vision, Imaging and Computer Graphics. Theory and Applications [electronic resource] : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers 0 索取号：作者：Ranchordas、 AlpeshKumar.、Pereira、 Jo茫o Madeiras.、Ara煤jo、 H茅lder J.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Musical Performance [electronic resource] : A Comprehensive Approach: Theory, Analytical Tools, and Case Studies 0 索取号：作者：Mazzola、 Guerino.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings 0 索取号：作者：Link、 Sebastian.、Prade、 Henri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Graph Drawing [electronic resource] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers 0 索取号：作者：Eppstein、 David.、Gansner、 Emden R.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Theory of Cryptography [electronic resource] : 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings 0 索取号：作者：Micciancio、 Daniele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings 0 索取号：作者：Massacci、 Fabio.、Wallach、 Dan.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biomedical Simulation [electronic resource] : 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings 0 索取号：作者：Bello、 Fernando.、Cotin、 St茅phane.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings 0 索取号：作者：Carro、 Manuel.、Pe帽a、 Ricardo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Elliptic Differential Equations [electronic resource] : Theory and Numerical Treatment 0 索取号：作者：Hackbusch、 Wolfgang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Theory ofElasticity [electronic resource] 0 索取号：作者：Maceri、 Aldo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Wastewater Hydraulics [electronic resource] : Theory and Practice 0 索取号：作者：Hager、 Willi H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Noninvasive Mechanical Ventilation [electronic resource] : Theory, Equipment, and Clinical Applications 0 索取号：作者：Esquinas、 Antonio Mat铆as.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.		Blind Signal Processing [electronic resource] : Theory and Practice 0 索取号：作者：Shi、 Xizhi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.